Point-free Foundation of Geometry and Multivalued Logic
نویسندگان
چکیده
منابع مشابه
Mereological Foundations of Point-free Geometry via Multi-valued Logic
We suggest possible approaches to point-free geometry based on multi-valued logic. The idea is to assume as primitives the notion of a region together with suitable vague predicates whose meaning is geometrical in nature, e.g. ‘close’, ‘small’, ‘contained’. Accordingly, some first-order multivalued theories are proposed. We show that, given a multi-valued model of one of these theories, by a su...
متن کاملthe study of practical and theoretical foundation of credit risk and its coverage
پس از بررسی هر کدام از فاکتورهای نوع صنعت, نوع ضمانت نامه, نرخ بهره , نرخ تورم, ریسک اعتباری کشورها, کارمزد, ریکاوری, gdp, پوشش و وثیقه بر ریسک اعتباری صندوق ضمانت صادرات ایران مشخص گردید که همه فاکتورها به استثنای ریسک اعتباری کشورها و کارمزد بقیه فاکتورها رابطه معناداری با ریسک اعتباری دارند در ضمن نرخ بهره , نرخ تورم, ریکاوری, و نوع صنعت و ریسک کشورها اثر عکس روی ریسک اعتباری داردو پوشش, وثی...
15 صفحه اولGraded Inclusion and Point - Free Geometry
Inspired to some researches of A. N. Whitehead, we propose an approach to pointfree geometry based on the notions of “region” and of “graded inclusion” between regions.
متن کاملQuasi-metric spaces and point-free geometry
An approach to point-free geometry based on the notion of a quasi-metric is proposed in which the primitives are the regions and a non symmetric distance between regions. The intended models are the bounded regular closed subsets of a metric space together with the Hausdorff excess measure.
متن کاملCommon fixed point of multivalued graph contraction in metric spaces
In this paper, we introduce the (G-$psi$) contraction in a metric space by using a graph. Let $F,T$ be two multivalued mappings on $X.$ Among other things, we obtain a common fixed point of the mappings $F,T$ in the metric space $X$ endowed with a graph $G.$
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2010
ISSN: 0029-4527
DOI: 10.1215/00294527-2010-024